method of proof in discrete mathematics